تعداد ۵۳ پاسخ غیر تکراری از ۵۳ پاسخ تکراری در مدت زمان ۵,۷۸ ثانیه یافت شد.

21. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

3452

22. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2514

23. Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

پدیدآورنده : Robert Nieuwenhuis, Andrei Voronkov )eds.(

کتابخانه: (طهران)

موضوع : ، Logic programming

رده :

QA

76

.

L28

Vol

.

2250

24. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

25. Logic programming and Automated reasoning

پدیدآورنده : Logic programming and Automated reasoning

کتابخانه: (کرمان)

موضوع : Logic programming

رده :

QA

76

.

73

.

L6

1992

26. Logic programming and Automated reasoning

پدیدآورنده : Logic programming and Automated reasoning

کتابخانه: (کرمان)

موضوع : Logic programming

رده :

QA

76

.

73

.

L6

1992

27. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده : A. Voronkov, ed

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

624

28. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses

رده :

QA

76

.

63

.

I55

1992

29. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(

کتابخانه: (طهران)

موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses

رده :

QA

76

.

63

.

I55

1992

30. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings

پدیدآورنده : Frank Pfenning )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

822

31. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده : A. Voronkov, )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

698

32. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1705

33. Logic programming and nonmonotonic reasoning

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic programming ; Congresses. ; Nonmonotonic reasoning ; Congresses. ;

34. Logic programming and nonmonotonic reasoning :

پدیدآورنده : James P. Delgrande, Wolfgang Faber (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :

QA76

.

63

.

L66

2011

35. Logic programming and nonmonotonic reasoning :

پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.

36. Logic programming and nonmonotonic reasoning :

پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :

QA76

.

63

.

L74

1999

37. Logic programming and nonmonotonic reasoning

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Logic programming congresses,Nonmonotonic reasoning congresses

رده :

QA

,

76

.

63

,.

L74

38. Logic programming and nonmonotonic reasoning

پدیدآورنده : Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :

QA76

.

63

.

L74

2009eb

39. Logic programming and nonmonotonic reasoning.

پدیدآورنده : LPNMR '97 (4th : 1997 : Dagstuhl Castle, Germany)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

40. Logic programming and nonmonotonic reasoning

پدیدآورنده : / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Logic programming--Congresses,Nonmonotonic reasoning--Congresses

رده :

QA

,

76

.

63

,.

L74

,

2007

»
3
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها